Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
401	From: AAAI-86 Proceedings. Copyright ©1986, AAAI (www.aaai.org). All rights reserved. A FRAMEWORK EVIDENTIAL-REASONING John Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 18:56:47 Knowledge representation Reasoning Probability theory Non-classical logic Cognitive architecture Evidentiality Dempster–Shafer theory Proposition Frame language Logic Science Artificial intelligence
402	i i “bindex” — [removed] — 15:17 — page 384 — #1 i Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-29 10:18:00 Non-classical logic Philosophical logic Logical connectives Arguments Paraconsistent logic Function Modal logic Liar paradox Polish notation Logic Mathematics Mathematical logic
403	Canonical nonlinear connections in the multi-time Hamilton Geometry Gheorghe Atanasiu and Mircea Neagu Abstract. In this paper we study some geometrical objects (d-tensors, multi-time semisprays of polymomenta and nonlin Add to Reading List Source URL: www.emis.de Language: English - Date: 2009-06-04 01:05:32 Symplectic geometry Hamiltonian mechanics Classical mechanics Tensors Spray Torsion tensor Hamiltonian Non-autonomous mechanics Poisson bracket Physics Theoretical physics Differential geometry
404	May 2008 DRAFT Linear Logical Algorithms Robert J. Simmons Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-07-11 10:59:20 Mathematical logic Predicate logic Non-classical logic Linear logic Proposition Function Algorithm Atomic formula Inference Logic Propositional calculus Logical syntax
405	Fuzzy Querying and Random Data Przemyslaw Grzegorzewski Syst.ems Research Inst,it,ute! Polish Academy of Sciences and University of Informat,ion Technology and Management, Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:23:05 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Lotfi A. Zadeh Statistical hypothesis testing Type-2 fuzzy sets and systems Fuzzy subalgebra Logic Fuzzy logic Science
406	From: AAAI Technical Report WS[removed]Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. Preliminary Insights on Temporal Approximation Aarati Parmar Department of Computer Science, Gates Building, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:55:57 Logic programming Knowledge representation Logic in computer science Situation calculus Non-classical logic Frame problem Fluent Interpretation Event Mathematics Logic Mathematical logic
407	Journal of Articial Intelligence Research[removed] Submitted 4/98; published[removed]A Temporal Description Logic for Reasoning about Actions and Plans Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:18 Non-classical logic Knowledge representation Artificial intelligence Philosophical logic Model theory Temporal logic Description logic Interval temporal logic Modal logic Logic Science Mathematical logic
408	Artist Management Pianist Anton Kuerti at the Concertgebouw “…he once again impressed greatly with his totally non-artificial, natural and at Add to Reading List Source URL: www.jwentworth.com Language: English - Date: 2009-11-16 13:21:31 Anton Kuerti Murray Perahia Sonata Felix Mendelssohn Classical music Music Jews
409	Which Role for an Ontology of Uncertainty? Paolo Ceravolo, Ernesto Damiani, Marcello Leida Dipartimento di Tecnologie dell’Informazione - Universit` a degli studi di Milano via Bramante, [removed]Crema (CR), Italy {c Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 16:42:42 Knowledge representation Non-classical logic Reasoning Artificial intelligence Information science Fuzzy logic Ontology Semantic Web Uncertainty Science Logic Knowledge
410	On Linear Inference Frank Pfennnig Draft of February 2, 2008 Inference. When we write an inference rule Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-14 10:37:05 Non-classical logic Logical consequence Proof theory Entailment Linear logic Inference Curry–Howard correspondence Proposition Rule of inference Logic Propositional calculus Logical syntax

UPDATE